Nuprl Definition : Rall
0,22
postcript
pdf
x
L
.
R
(
x
) ==
(map(
x
.
R
(
x
);
L
))
latex
Definitions
(
L
)
,
map(
f
;
as
)
FDL editor aliases
Rall
origin
x
L.R(x) == (map(
x.R(x);L)) xL.R(x) == (map(x.R(x);L)) (L)